Analyzing the dynamics of a Z speci
نویسندگان
چکیده
We present a method for analyzing the dynamics of a Z document describing a non-sequential system. First a formal operational semantics based on the chemical metaphor is given to Z. Then, some Unity-like temporal logic constructs are deened on such a formal operational semantics in order to allow the speciication and analysis of dynamic and temporal properties of concurrent systems, such as safety and liveness properties.
منابع مشابه
Analyzing Effect of Organizational Strategies on Organizational results using system dynamics based upon EFQM model
Abstract: In order to evaluate the relationship between Organizational Strategies and Organizational results, a comprehensive model is required, which should be able to capture all aspects of business excellence. The EFQM model is suitable tool to observe these factors. The EFQM model consists of two main domains: Enablers and Results. The first domain which includes processes and systems in g...
متن کاملMolecular dynamics simulation of a binary mixture lubricant for use in hard disk interfaces
In Hard Disk Drives (HDD), it is necessary to decrease the Flying Height (FH) between the head and the disk (currently, FH is around 3-5 nm) so as to increase recording densities. Retaining the solid lubricant has become a difficult proposition owing to intermittent contact between the surfaces. ZTMD and Z are used as solid lubricant to lubricate these interfaces. In this paper, the behavior of...
متن کاملMolecular dynamics simulation of a binary mixture lubricant for use in hard disk interfaces
In Hard Disk Drives (HDD), it is necessary to decrease the Flying Height (FH) between the head and the disk (currently, FH is around 3-5 nm) so as to increase recording densities. Retaining the solid lubricant has become a difficult proposition owing to intermittent contact between the surfaces. ZTMD and Z are used as solid lubricant to lubricate these interfaces. In this paper, the behavior of...
متن کاملDesigning Effective Strategies to Improve Performance Indicators of Bread Industry Using System Dynamics: A case study in Iran
Iranian bread production methods are often unsanitary, in the last decades, different attempts were made to mechanize production of Iranian breads, but a few of them, due to a variety of factors, could succeed. The aim of this study is to examine various factors affecting the system of bread production in Iran and to provide effective solutions for the development of mechanized bakeries as the ...
متن کاملOptimum driving a Z-pinch for soft X-Ray lasers
A capillary plasma z-pinch as an alternative active medium of soft X-Ray lasers was studied experimentally and theoretically. The theoretical analysis was based on the self consistent solution of the so called “snow plow” model. The dynamics of pinched plasma is determined by the capillary parameters and by the time dependence of electrical current passing through it. The current time dependenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996